////////////////////////////////////////
// util.h

void swap(int & i, int & k);

